Coherence Properties of the KGP Model

In this document we introduce, formalise and prove a number of Coherence Properties. These properties are aimed at demonstrating some beneficial consequences of some of the design decisions made in the declarative and computational models of computees. Copyright c © 2005 by the SOCS Consortium. The SOCS Consortium consists of the following partners: Imperial College of Science, Technology and Medicine, University of Pisa, City University, University of Cyprus, University of Bologna, University of Ferrara. Coherence Properties of the KGP Model F. Sadri and F. Toni Department of Computing, Imperial College London Email: {fs,ft}@doc.ic.ac.uk ABSTRACT In this document we introduce, formalise and prove a number of Coherence Properties. These properties are aimed at demonstrating some beneficial consequences of some of the design decisions made in the declarative and computational models of computees.In this document we introduce, formalise and prove a number of Coherence Properties. These properties are aimed at demonstrating some beneficial consequences of some of the design decisions made in the declarative and computational models of computees.